Potsdam

Results: 3969



#Item
241

Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines Tobias Pape Tim Felgentreff Robert Hirschfeld Hasso Plattner Institute, University of Potsdam, Germany

Add to Reading List

Source URL: soft-dev.org

- Date: 2016-12-12 12:12:33
    242

    Sehr geehrte Damen und Herren, recht herzlich möchten wir Sie einladen zu unserem Workshop Sichere Gesellschaften: unlocking innovation – neuartige Sicherheitslösungen für sich wandelnde Bedrohungslagen Secure Socie

    Add to Reading List

    Source URL: www.bigs-potsdam.org

    - Date: 2016-09-20 08:26:18
      243

      Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany

      Add to Reading List

      Source URL: www.cs.uni-potsdam.de

      - Date: 2007-06-11 04:23:32
        244

        ASP foundations and applications Torsten Schaub Torsten Schaub (KRR@UP) Autumn School@ICLP’16

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        - Date: 2016-10-16 09:04:31
          245

          Archive im Informationszeitalter Wissen erhalten, sichern und vermitteln für die Zukunft! Diese Ziele setzt sich das berufsbegleitende Weiterbildungsprogramm in Kooperation mit der Fachhochschule Potsdam. Es richtet sic

          Add to Reading List

          Source URL: www.fh-potsdam.de

          - Date: 2016-09-27 12:12:21
            246

            clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            - Date: 2007-03-07 07:31:05
              247

              The Conflict-Driven Answer Set Solver clasp: Progress Report Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We sum

              Add to Reading List

              Source URL: www.cs.uni-potsdam.de

              - Date: 2009-07-06 04:21:06
                248

                ………………………………………… Geschäftsnummer des Amtsgerichts An das Diese Felder sind nicht vom Antragsteller auszufüllen.

                Add to Reading List

                Source URL: www.ag-potsdam.brandenburg.de

                - Date: 2014-01-15 05:50:14
                  249

                  Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14439 Potsdam, Germany Abstract

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  - Date: 2008-03-06 05:55:32
                    250

                    Theory Solving made easy with Clingo 5 (Extended Version∗) Martin Gebser Roland Kaminski Torsten Schaub

                    Add to Reading List

                    Source URL: www.cs.uni-potsdam.de

                    - Date: 2016-08-04 02:58:38
                      UPDATE